12.17/15.65	unsat
