18.25/21.52	unsat
