23.07/23.40	unsat
