313.68/315.52	unsat
