7.77/8.32	unsat
