23.63/25.40	unsat
