17.03/20.33	unsat
