16.34/17.35	unsat
