14.96/15.82	unsat
