23.34/25.61	unsat
