17.34/17.43	unsat
