20.54/22.51	unsat
