20.54/22.93	unsat
