25.17/26.54	unsat
