830.47/832.66	unsat
