25.21/26.44	unsat
