10.27/11.82	unsat
