17.15/17.71	unsat
