20.54/22.19	unsat
