20.87/22.52	unsat
