7.71/8.40	unsat
