25.86/28.07	unsat
