23.38/23.48	unsat
