15.34/17.37	unsat
