23.64/25.73	unsat
