11.68/11.71	unsat
