7.68/8.40	unsat
