23.45/25.61	unsat
