10.27/12.65	unsat
