836.03/837.43	unsat
