6.66/6.79	unsat
