17.54/19.72	unsat
