7.68/8.32	unsat
