313.09/317.76	unsat
