18.26/19.72	unsat
