317.62/320.24	unsat
