17.55/20.09	unsat
