9.18/11.71	unsat
