23.52/25.19	unsat
