8.66/8.81	unsat
