316.36/317.75	unsat
