20.66/22.23	unsat
