13.55/17.18	unsat
