15.98/17.34	unsat
