20.66/22.67	unsat
