23.77/25.48	unsat
