14.96/15.65	unsat
