14.96/17.02	unsat
