16.06/17.34	unsat
