14.96/15.11	unsat
