11.72/11.81	unsat
