17.55/17.68	unsat
