8.46/8.52	unsat
