7.86/9.81	unsat
