20.87/22.29	unsat
