20.63/23.57	unsat
