25.86/28.16	unsat
