17.43/18.33	unsat
