23.76/25.90	unsat
