19.25/21.86	unsat
