20.76/23.20	unsat
