844.71/847.43	unsat
