317.68/319.27	unsat
