10.97/12.65	unsat
