23.60/23.90	unsat
