8.80/8.86	unsat
