313.28/317.59	unsat
