816.94/818.54	unsat
