17.64/17.71	unsat
