9.18/12.65	unsat
