8.87/11.71	unsat
