19.37/19.71	unsat
