317.12/323.00	unsat
