20.70/23.99	unsat
