7.86/11.28	unsat
