20.81/22.24	unsat
