17.54/19.71	unsat
