16.07/17.43	unsat
