17.05/17.34	unsat
